Knowledge inference for optimizing and enforcing secure computations

نویسندگان

  • Piotr Mardziel
  • Michael Hicks
  • Jonathan Katz
  • Matthew Hammer
  • Aseem Rastogi
  • Mudhakar Srivatsa
چکیده

We present several techniques that aim to compute the belief or knowledge a party might have about the values of hidden variables involved in the computation. These techniques can be used for enforcing knowledge-based security policies and for optimizing secure multiparty computations.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Self-enforcing Private Inference Control

Private inference control enables simultaneous enforcement of inference control and protection of users’ query privacy. Private inference control is a useful tool for database applications, especially when users are increasingly concerned about individual privacy nowadays. However, protection of query privacy on top of inference control is a double-edged sword: without letting the database serv...

متن کامل

Enforcing Declarative Policieswith Targeted Program Synthesis

We present a technique for static enforcement of declarative information flow policies. Given a program that manipulates sensitive data and a set of declarative policies on the data, our technique automatically inserts policy-enforcing code throughout the program to make it provably secure with respect to the policies. We achieve this through a new approach we call targeted program synthesis, w...

متن کامل

Optimizing Hydro Power Turbines in Order to Secure the Passage of Fishes in Khuzestan province

Nowadays, it is important to consider environmental issues, as ecological problems and their severe effects are intensifying in Iran, particularly in Khuzestan province. The environmental effects of hydroelectric plants are highly regarded due to their significant impact on an extensive area. Lack of safe path for fish passing through the turbines is one of these damages. In order to deal with ...

متن کامل

A Model for Evaluating Knowledge Sharing Using Fuzzy Inference System (Case Study: Tehran Municipality ICT Organization)

The present paper aimed at developing an approach based on Fuzzy Inference System (FIS) for measuring of knowledge sharing in the organization. In recent years there has been increasing interest in the knowledge sharing by experts and managers in the world, according to increasing importance of knowledge as the key source of competitive advantage, organizations have made serious effort to find ...

متن کامل

Optimizing Secure Statistical Computations with PICCO

Growth in research collaboration has caused an increased need for sharing of data. However, when this data is private, there is also an increased need for maintaining security and privacy. Secure multi-party computation enables any function to be securely evaluated over private data without revealing any unintended data. A number of tools and compilers have been recently developed to support ev...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013